TSTP Solution File: PUZ100^5 by Refute---2015